Raspberry Pi 400 With Compact Keyboard, Quad-Core Cortex-A72 SoC Launched