A tiny x86 SBC with Raspberry Pi GPIO (Radxa X4, tested)