[LinuxBIOS] booting Xen3 via FILO?