[PATCH-WIP 09/13] xen/arm: shared_info and start_info