MIO pins are not referencable in xdc files since they are not usable from PL