Libreboot x200 acpi issue on linux-libre 4.15

Hi,

I'm forced to boot with acpi=off with every linux-libre kernel > 4.14.13, is it an issue due to meltdown/spectre flaws ?

I can't find any topics with this problem acpi issue with lastest kernel version during my research.

Thanks for your help.