I have uploaded a new version 38 of kernel-power with the missing headers included.
Users don't need to upgrade. This version is only interesting for developers
and make it possible to build the independent driver modules for kernel-power.