[LinuxBIOS] [PATCH] buildrom support for booting Xen from LAB