/configs/platform-rpi/patches/barebox-2017.11.0/
../
0001-ARM-dts-bcm2835-rpi-re-enable-booting-from-SD-card.patch
series