Re: [RFC] Energy/power monitoring within the kernel