276c276,277
< }
---
> }
> #if FULL_SYSTEM //XXX CPU has no wakeup method in SE mode.
277a279
> #endif