v20220723-rpi4

Update config.txt to match edk2 example

See https://github.com/tianocore/edk2-platforms/blob/master/Platform/RaspberryPi/RPi4/Readme.md#booting-the-firmware