Barry,
If that grub setting works for you, then you're seeing a kernel bug that's unrelated to this bug.
Barry,
If that grub setting works for you, then you're seeing a kernel bug that's unrelated to this bug.