I get the same thing (my kernel bug is reported to be on line 4257 rather than 4256, not important I assume). When this bug happens, the computer completely locks up (e.g., caps lock button does not change indicator light). It seems to happen more often when I am switching from console VTs to VT1, with GDM. I think it has occurred during normal usage as well, though.