conf/machine/raspberrypi4: Switch to 64-bit