Yeah, that patch fixed the problem: the kernel-image packages reconfigure without error under both 32-bit and 64-bit kernels, and the resulting initrd images work fine when the machine boots. --Barak.