Merge pull request #53 in SEL4/sel4 from ~ALYONS/sel4:reduce-dup-bi to master

include/api/bootinfo_types.h

include/api/types.h

include/arch/arm/arch/types.h

include/arch/x86/arch/types.h

include/bootinfo.h

include/kernel/boot.h

libsel4/include/sel4/bootinfo.h

libsel4/include/sel4/bootinfo_types.h

libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/types.h

src/arch/arm/32/kernel/vspace.c

src/arch/arm/kernel/boot.c

src/arch/x86/32/kernel/vspace.c

src/arch/x86/kernel/boot.c

src/kernel/boot.c