Building a 64-bit aarch64 kernel and userspace for the Raspberry Pi 4