Several bug fixes. Irqchip correctly loaded.

Signed-off-by: Carlo Caione <carlo.caione@gmail.com>