config BRCM2708_SD_BOOT_PARTSIZE int "Boot (SD Card) filesystem partition size (in MB)" depends TARGET_brcm2708 default 20