Add linker options for Xen/Mini-OS
Travis check that Xen support builds too
Merge pull request #231 from talex5/minios

Add linker options for Xen/Mini-OS