[PATCH 6/7] hw/arm/raspi4b: Add the raspi4b-4g machine