https://gadgeteer.co.za/finally-raspberry-pi-4-can-boot-external-ssd-or-usb-drive-without-any-sd-card-required/