Modification in giet_xml/xml_parser.c:
When parsing IRQs, compare agains IRQ_TYPE_* constants instead of
numbers for readibility
Modification in giet_common/utils.c
Adding utility function to write on CP0 status register
Modification in giet_boot/boot.c
After loading the kernel.elf file, the GIET exception handler is
available (giet entry point). Therefore, we can reset the BEV bit
of the status register to use the giet entry point instead of the
preloader entry point in case of exception during kernel init
function.