https://virtualzone.de/posts/usb-boot-raspberry-pi/