Updated to use libminios-xen >= 0.2

This adds hardware floating point and stack overflow detection on ARM.