Насколько я понял, это так, да не совсем. 🙂
Существует вот такой любопытный документ от разработчиков "малинки":
https://github.com/raspberrypi/documentation/blob/master/hardware/raspberrypi/bootmodes/bootflow.md
А здесь подробно обсуждается именно возможность ОТКЛЮЧЕНИЯ загрузки с SD карточки, пуём управления GPIO пинами:
https://www.raspberrypi.org/forums/viewtopic.php?t=175761
Пытался разобраться подробно, но для моего знания английского это оказалось тяжеловато 😞