Kernel/aarch64: Get RPi::InterruptController address and RPi::Timer address + IRQ number from the devicetree

Kernel/aarch64: Get RPi::InterruptController address and RPi::Timer address + IRQ number from the devicetree #3719