tcl/board: Add Raspberry Pi 4 model B board