K 10
svn:author
V 4
manu
K 8
svn:date
V 27
2019-04-16T17:10:02.653494Z
K 7
svn:log
V 215
u-boot: Fix efi booting for arm32

arm32 needs its cache cleared before booting the kernel.
This isn't the case anymore in u-boot since they use efi_start_image.
Add a local patch until I resolv the issue upstream.

END