dmar: falha ao localizar o identificador para o objeto ACPI

Question

Estou usando um Lenovo B50-50 com estas especificações:

• CPU Intel Core i3-5005U @ 2.00GHz × 4
• Intel HD Graphics 5500 (Broadwell GT2)
• disco rígido de 500 GB
• Ram 4 GB

Atualmente estou executando o Debian (Linux debian 3.16.0-4-amd64 # 1 SMP Debian 3.16.39-1 + deb8u2 (2017-03-07) x86_64 GNU / Linux)

O problema é que quando eu inicializo o sistema (estou atualmente inicializando no modo "quiet splash") as seguintes mensagens são exibidas:

[ 0.835186] dmar: Failed to find handle for ACPI object _SB.PCI0.SDMA
[ 0.835243] dmar: Failed to find handle for ACPI object _SB.PCI0.SDHC

Tudo funciona bem após o boot.

O que posso ou devo fazer sobre essas mensagens?