BOOTIMAGE_PARTITION_SIZE and EXT4