Problem booting Xen kernel on T61 with F9 preview