Comment 35 for bug 604122

My wrong: natty's kernel randomly hangs on boot on my hardware, whether patched or not.
But: the patched kernel does solve this bug for me. Still getting the dmesg error, though the interrupt is 0x00080000 instead of 0x00030000. Should I file another bug report ?