cpuidle menu: remove 8 bytes of padding on 64 bit builds