Not Necessary anymore! Get buttons!
The brightness controls work with one small change–add a single line ”blacklist video” into the file /etc/modprobe.d/blacklist. This prevents the “video” module being automatically loaded, which apparently fixes the brightness keys.