[opensuse-autoinstall] Re: problem pxe booting opensuse 11.3 (bad kernel format, EFI?)