Please report this upstream at <https://bugzilla.kernel.org>, under product 'ACPI', component 'ACPICA-Core'. Let us know the bug URL so we can track it.
You should link *directly* to the video, if possible, because it took me some time to work out where the link was on the 'getfile.pl' page. Also you should provide the most important lines as text, which appear to be: do_page_fault+0x0/0x35d error_code+0x67/0x6c __kmalloc+0x??/0x10b acpi_ns_internalize_name+0x2e/0x61 acpi_ns_search_one_scope+0x12/0x31 I was going to ask you to use the 'boot_delay' kernel parameter to slow down log output, but now I realise this isn't enabled in the Debian kernel packages. If you can build a custom kernel with CONFIG_BOOT_PRINTK_DELAY=y and test it with boot_delay=1000 then you should be able to get still pictures of the whole of the 'oops' message. But the above lines may be enough of a clue to the ACPI developers. Ben. -- Ben Hutchings We get into the habit of living before acquiring the habit of thinking. - Albert Camus -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org