Thanks to some help on the Ubuntu Forums, established that the system boots using the 64bit version, but shouldn't the 32bit version work, albeit not taking advantage of the additional facilities provided by 64bit mode?
-- kernel oops on booting https://bugs.launchpad.net/bugs/173797 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
