clover[m]: > <@clover:ironrobin.net> the only special grub config needed in /etc/default/grub for the compressed kernel is GRUB_CMDLINE_LINUX_DEFAULT="loglevel=3 efi=noruntime pd_ignore_unused clk_ignore_unused" and you should be good to go with 
> # grub-install --target=arm64-efi --efi-directory=/boot --bootloader-id=GRUB
> # grub-mkconfig -o /boot/grub/grub.cfg

It also doesn't add the devicetree line