No es necesario remapear una tecla a un elemento de menú específicamente; remápela a un valor nulo u otra tecla. Para hacerlo, use el comando hidutil
para mapear F9 a un valor nulo, retroceso u otra cosa.
hidutil property --set '{"UserKeyMapping":\
[{"HIDKeyboardModifierMappingSrc":0x700000045,\
"HIDKeyboardModifierMappingDst":0x700000000}]}'
Tenga en cuenta: las barras diagonales al final de las líneas permiten que este comando abarque varias líneas para mayor legibilidad. Puede copiar/pegar este comando tal cual o quitar las barras para hacerlo en una sola línea.
Ahora, el valor fuente (hex) de F12 es 0x700000067 y el valor de destino es 0x700000000. No he probado este valor en particular pero, si no funciona, puede usar 0x70000002A o 0x7000000E6 para un segundo retroceso (es la tecla que pretendía presionar de todos modos), o algo como ⌥ Opción derecha respectivamente.
Esta solución se basa en esta respuesta que escribí previamente para una pregunta similar; hay varios códigos para teclas de función enumerados allí. Si necesita una lista de códigos hexadecimales para teclas adicionales, Apple proporciona una Nota Técnica sobre hidutil
para su referencia.