target/linux/mxs/image/Config.in

   1 config MXS_SD_BOOT_PARTSIZE
   2         int "Boot (SD Card) filesystem partition size (in MB)"
   3         depends on TARGET_mxs
   4         default 8
   5         help
   6             On the Olimex OLinuXino boards, mainline U-Boot loads the
   7             linux kernel and device tree file from a FAT partition.
   8             The default value of 8 MB should be more than adequate.