[Bug 801857] New: Booting Xen kernel causes tty_init oops on an AMD A10-5800K APU