mvebu: make sdcard bootloader option configurable