Sony is ramping up production of the Raspberry Pi 4