Kernel Support for Energy Management in Wireless Mobile Ad-Hoc Networks