BIOS: Add platform reboot function