Usual link to the ota.zip, stock boot.img and a Magisk patched-boot.img 
I noticed that FP completely removed the boot.img downloads from the kernel page, well at least they can’t be out-of-date anymore … 
But they already uploaded the factory images so there’s progress in that regard.
Here you go 
(no idea what’s up with that extremely long version string)