tcl/board: Add Raspberry Pi 3 board