Symbol: fdtbus_get_interrupt_controller