[fedora-arm] Kraxel's Kernel and VC4