config SOCFPGA_SD_BOOT_PARTSIZE int "Boot (SD Card) filesystem partition size (in MB)" depends on TARGET_socfpga default 20
