[PATCH] flash-images: Increase size of the /boot partition