config TARGET_BOOTFS_PARTSIZE
	int "Boot (SD Card) filesystem partition size (in MB)"
	depends on TARGET_mxs_olinuxino-maxi || TARGET_mxs_olinuxino-micro
	default 8
	help
	    On the Olimex OLinuXino boards, mainline U-Boot loads the
	    linux kernel and device tree file from a FAT partition.
	    The default value of 8 MB should be more than adequate.