d06124ce5c
or powerdown the board, so we can only support reboot by falling back to a default reboot procedure. The default procedure will turn off interrupts and the MMU, then jump through the firmware's reset vector (0xfff00100).