`reset_to_usb_boot()` currently is marked as returning `()`, even though it clearly should never return.