stubbed out socfpga support