I've got a zx6000 here, but I'm unable to reproduce. Are we using the same versions of firmware/elilo? I'm using the serial console.
Like Martin, my system is also a Madison - but clocked at 1.3GHz vs. his 1.4. EFI Boot Manager ver 1.10 [14.61] Firmware ver 2.31 [4411] Please select a boot option Debian GNU/Linux EFI Shell [Built-in] Boot Option Maintenance Menu System Configuration Menu Use ^ and v to change option(s). Use Enter to select an option Loading.: Debian GNU/Linux Starting: Debian GNU/Linux ELILO v3.14 for EFI/IA-64 .. Uncompressing Linux... done Loading file \EFI\debian\initrd.img...done [ 0.000000] Initializing cgroup subsys cpuset [ 0.000000] Initializing cgroup subsys cpu [ 0.000000] Linux version 3.2.0-4-mckinley (debian-ker...@lists.debian.org) (gcc version 4.6.3 (Debian 4.6.3-14) ) #1 SMP Debian 3.2.41-2+deb7u2 [...] -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org