Resize system partition for HMI UEFI

UEFI systems install kernel in the system partition instead of in a different one, consuming extra space. To allow newer kernels to be installed increase the size of this partition for HMI image which is very tight.

Signed-off-by: Walter Lozano walter.lozano@collabora.com

assigned to @wlozano

mentioned in merge request !695 (closed)

marked this merge request as ready

cc @em

merged

mentioned in merge request pkg/linux!382 (merged)