Support for Raspberry Pi 4

i think there is progress in the distro to target pi4 as an official device for 20.04 … if you require an updated kernel for my image i’m happy to take a look though (the rootfs will upgrade itself automatically on core)