Add linker options for Xen/Mini-OS

Note: depends on https://github.com/mirage/mirage-platform/pull/111