Comment 17 for bug 114677

that's interesting. i had better, but not satisfactory, results with the driver from xserver-xorg-video-intel, which i think is newer.

as for the bios update, i am really enjoying my native use of those keys. one big gain is that you don't have to be logged into an x session like with the xbindkeys solution. for instance, they change the brightness even when i'm just logged into a tty, or at the gdm login screen.