As in the tutorial, I copy start4.elf, fixup4.dat, and bcm2711-rpi-4-b.dtb from the official RPi repo. I have a config.txt file with the contents: 

`
arm_64bit=1
init_uart_clock=48000000
`

and then lastly, my kernel8.img