raspberrypi4.conf: Add machine definition