Also, for the brightness keys: a friend who's better versed than I in the ways of hal showed me how to copy some entries from /usr/share/hal/fdi/information/10freedesktop/30-keymap-hp.fdi to /usr/share/hal/fdi/information/20thirdparty/30-keymap-private.fdi. (It probably would have sufficed to edit 30-keymap-hp.fdi in place, too.)
Also, for the brightness keys: a friend who's better versed than I in the ways of hal showed me how to copy some entries from /usr/share/ hal/fdi/ information/ 10freedesktop/ 30-keymap- hp.fdi to /usr/share/ hal/fdi/ information/ 20thirdparty/ 30-keymap- private. fdi. (It probably would have sufficed to edit 30-keymap-hp.fdi in place, too.)
Specifically, he added:
<match key="/org/ freedesktop/ Hal/devices/ computer: system. hardware. product" contains="6930p"> keymap. data" type="strlist" >e012:brightnes sdown</ append> <!-- FnF7 (brightness down) --> keymap. data" type="strlist" >e017:brightnes sup</append> <!-- FnF8 (brightness up) -->
<!-- HP Elitebook 6930p -->
<append key="input.
<append key="input.
</match>
inside the existing <match> block for system. hardware. vendor prefix Hewlett-Packard.
This gave me working brightness keys.