Chris Coulson, can you also try booting the lucid kernel with acpi=off kernel parameter, and check if you get these same errors?
Chris Coulson, can you also try booting the lucid kernel with acpi=off kernel parameter, and check if you get these same errors?