Назначить F12 на power button

Если эта кнопка у тебя определяется как кнопка клавиатуры (т.е. как устройство /dev/input/...), то, во-первых выключаешь это acpi-событие; во-вторых, переназначаешь её код, например, с помощью udev hwdb (я переназначал себе кнопки цифрового блока под pgup/pgdown, метод с udev оказался самым надёжным).