libsel4: Reorder bootinfo struct
libsel4: Reorder bootinfo struct

This reorders the bootinfo struct to place the untyped array as the
last element. Having the array at the end makes the layout of the
information in this struct easier to represent in other languages.

cmr/seL4,cmr/seL4,cmr/seL4