[fedora-arm] RPI4 8G with UEFI for Pi: How to enable VC4?