What is the configuration of the kernel which is triggering this bug, and how does it differ from the current linux-ec2 config (which presumably doesn't trigger the bug)?
What is the configuration of the kernel which is triggering this bug, and how does it differ from the current linux-ec2 config (which presumably doesn't trigger the bug)?