Add linker options for Xen/Mini-OS