Totty, parece um problema de atribuição de IRQ, provavelmente com um leitor de cartão de memória (mmc1) ou o próprio cartão. Se você tiver esse hardware, a primeira coisa que faria seria desconectar o leitor de cartões e tentar novamente. Se o problema persistir, o caminho a seguir é inicializar com alguns parâmetros extras do kernel, como acpi = noirq, acpi = off, noapic, nolápico, pci = biosirq, irqpoll ou pnpbios = off. É muito mais uma tentativa e erro, mas normalmente acpi = noirq, noapic e nolapic juntos devem fazer o truque.
Uma atualização do BIOS também ajuda ...