in kernel/process.c [78:84]
void machine_power_off(void) { local_irq_disable(); __asm__("sleep"); for (;;) ; }