[SeaBIOS] [PATCH] Make Xen one of the top-level build target choices