Update to use libminios-xen >= 0.2

This adds hardware floating point and stack overflow detection on ARM.

Note: the mirage-xen-libs patch should be merged first, otherwise people won't be able to install the dependency this change requires: https://github.com/mirage/mirage-xen-libs/pull/1