To be able to run kernel in HYP mode, virtual timer
and GIC node information needs to be populated.
Signed-off-by: NSantosh Shilimkar <santosh.shilimkar@ti.com>
Signed-off-by: NBenoit Cousson <benoit.cousson@linaro.org>