
The boot partition currently has a size of 20 MiB but just the start elf binaries account almost 12 MiB, which means that only 8 MiB is left for the kernel image. A recent kernel with many of its options built-in can easily be more than 4 MiB so let's double the boot partition size to 40 MiB to make sure that it has enough room for the kernel image, the DTBs and possible even a backup kernel. Signed-off-by: Derek Foreman <derekf@osg.samsung.com> [javier: Extended the commit message] Signed-off-by: Javier Martinez Canillas <javier@osg.samsung.com>