SYNOPSIS void kernel_power_off(void); ARGUMENTS void no arguments DESCRIPTION Shutdown everything and perform a clean system power_off. COPYRIGHT