Add port for CPU count to Patmos.