[Bug 579932] NOHZ hangs with Phoenix BIOS. Triggered by short-sleeping tasks. Needs interrupt from peripheral device to resume