Booting the Raspberry Pi 4 with an External SSD