Get linker flags from mirage-xen