Colin - Given your opinion that this is not a kernel bug, I'm quite happy to reassign to the debian-installer package.
Colin - Given your opinion that this is not a kernel bug, I'm quite happy to reassign to the debian-installer package.