core/machine/raspberrypi4-64