RPi Hat, a printed circuit board