use machine_shutdown function from stock kernel