Hardcoded support for PCI6259 and fixed but for adding repeated port0.