Add BSP for the Patmos hardware