INT 19h reboot handler: don't waste time printing "Restart requested" on
the screen, just reboot and get it over with.