[SeaBIOS] Xen HVM Support