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