The files pins.c and pins.h are generated during the build process from pins.csv, using a make-pins.py script.
It was only partially working and will be rpelaced later by a full machine.UART class implementation.