This is a note to let you know that I've just added the patch titled ACPI / x86: Work around broken XSDT on Advantech DAC-BJ01 board to the 4.9-stable tree which can be found at: http://www.kernel.org/git/?p=linux/kernel/git/stable/stable-queue.git;a=summary The filename of the patch is: acpi-x86-work-around-broken-xsdt-on-advantech-dac-bj01-board.patch and it can be found in the queue-4.9 subdirectory. If you, or anyone else, feels it should not be added to the stable tree, please let <stable@xxxxxxxxxxxxxxx> know about it.