Move out ARINC653 configuration as it doesn't belong in the guest
Renamed xen_guest to micro_pv as it makes more sense to me like that
Renamed xen_guest to micro_pv as it makes more sense to me like that
Renamed xen_guest to micro_pv as it makes more sense to me like that