The bug linked to seems to affect VIA chipsets, like my system, but there seems to be a duplicate of that (linked in the comments there) which has a fix released, but that fixed bug relates to 64-bit systems. -- kernel panic on edgy RC https://launchpad.net/bugs/65710