Is there any possibility to boot from second SD card interface (SD1 pins, ALT3 RPi 1.2 B+)? It means that I need to use build-in SD card slot for user data access and add a second SD card slot adapter for start.elf, bootcode.bin, /boot/config.txt and OS files. Unfortunately GPU code is not open sour...