https://www.raspberrypi.com/documentation/computers/configuration.html#boot-order-2