My ports have been OKed, please add them

Hello. My FPGA related ports have been OKed by sthen@ and bentley@. They are aready to be added to the official Github repo. Thomas