Hi,
So dumm es klingt, aber ich war bislang der Meinung, ich hätte hier ein 32-Bit-System auf einer 64-Bit-Architektur laufen. Mittlerweile bin ich mir da nicht mehr so sicher, weil ich linux-image-* (linux kernel on x86/x86_64) verwende, hätte aber in der Kernel-Boot-Meldung etwas von "64"...