Processing commands for cont...@bugs.debian.org:
> tags 1038313 + moreinfo
Bug #1038313 {Done: Salvatore Bonaccorso <car...@debian.org>} [src:linux] acpi:
error message on boot: acpi bios error, pci0, acpi not found, x509 and sgx error
Added tag(s) moreinfo.
> thanks
Stopping processing here.Please contact me if you need assistance. -- 1038313: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038313 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
