mvebu: make bootfs size for sdcard image configurable