This laptop also has three more buttons for audio mute and volume up, down. I don't know if hp_wmi is supposed to handle those too, but I confirm they work properly without it.