Raspberry Pi 4 available? | ck blog