[Bug 216205] Machine does not wake up from interrupts from C2 sleeping state when compiled with CONFIG_SMP