CONFIG_EFI_GRUB_ARM32_WORKAROUND always disables the caches and mmu. EFI
requires that those are enabled. As a result it takes long to uncompress
the vmlinuz file.
The new u-boot release has this option disabled and thus boots far faster.
Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/8571>