Fork V1 types into V2 (no other change yet)

Related to #203

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge pull request #267 from djs55/fork-v2

Fork V1 types into V2 (no other change yet)
Updated to use libminios-xen >= 0.2

This adds hardware floating point and stack overflow detection on ARM.
Merge pull request #268 from talex5/libminios-xen-0.2

Update to use libminios-xen >= 0.2
Discover and link C stub dependencies in --xen mode