#Freebsd/#Ghostbsd acpi_ibm vs. #Linux thinkpad_acpi

Yep well, it's as I thought. Checking the source code I found that acpi_ibm only accepts a small subset of thinkpad events, and MICMUTE isn't one of them, contrary to Linux's thinkpad_acpi which accepts a far larger set (All?) including MICMUTE.

FYI, acpi_ibm accepts just these keyboard events:
LCD_BACKLIGHT
SUSPEND_TO_RAM
BLUETOOTH
SCREEN_EXPAND
SUSPEND_TO_DISK
BRIGHTNESS_UP
BRIGHTNESS_DOWN
THINKLIGHT
ZOOM
VOLUME_UP
VOLUME_DOWN
MUTE
ACCESS_IBM_BUTTON