Add a new get_id interfae to pci and pcib. This will allow us to:
- Detect failures.
- Get different PCI IDs.
For 1. the interface returns an int to signal an error. The ID is
returned at a uintptr_t * argument.
For 2. there is a type argument that allows selecting the ID type.
This only specifies a single type, however a MSI type will be added
to handle the need to find the ID the hardware passes to hte GICv3
interrupt controller.
D6227 will be updated to work with this interface.