Durante a inicialização, notei algum erro. Eu encontrei isso em dmesg :
i801_smbus 0000:00:1f.3: PCI INT B -> GSI 21 (level, low) -> IRQ 21
ACPI: I/O resource 0000:00:1f.3 [0x400-0x41f] conflicts with ACPI region SMRG [0x400-0x40f]
ACPI: If an ACPI driver is available for this device, you should use it instead of the native driver
O que isso significa? De qual dispositivo ele está falando e como eu sei qual driver devo instalar?
De acordo com esta publicação na lista de discussão do kernel Linux , isso não deve significar um problema:
Unless you need to use anything on SMBus (hardware sensors, essentially) you don't have to worry about that one. It means that the kernel has detected that the BIOS may potentially access the SMBus controller which may conflict with usage of the controller from within the OS.