I cannot say that right now, as it appears the last "bad" kerneldestroyed my distro enough that I cannot test this patch without a fullreinstall. (/root partition is busted, even after several fsck -f -y)