Add GIC virtualization bits as a prerequisites for bhyvearm
Sorry. Talked with Alex Ivan and this is the reason why we got it out: the vgic doesn't have a device tree node and we couldn't make all the desired initializations and this is why 'di' gets NULL.
Can we keep it removed?
I don't think you need this entry. We should only ever see a maintenance interrupt on the root node, or a parent interrupt when the GIC is chained.
I don't think this is correct for non-root interrupt controllers.
This extra indentation was to indicate it was fields in the GICV2M_MSI_TYPER register.