OK, thanks. So it looks like a bug in PS2 keyboard events, i.e. it's basically a BIOS bug. At least I hoped that BIOS reacts with WMI setup or such, but apparently it doesn't. One another shot would be to try some acpi_osi boot options, but I won't bet for it. Do I understand correctly that both brightness up and down trigger the very same key code?