Also, the brightness keys work when I switch to a console (alt-ctrl-F1), and when the computer is booting up. The same behaviour was observed in KDE.