[pi3+]
kernel=vmlinuz-rpi
initramfs initramfs-rpi
arm_64bit=1