Add a "reboot" builtin which causes the micropython to reboot into the BIOS #9
Description
The soft CPU firmware in the HDMI2USB-litex-firmware repo has a reboot command. It would be good if micropython had similar functionality.
You'll probably want to steal the reboot.c / reboot.h files?