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