> IIRC this is not the case on the X201 (a very nice machine, but coreboot
> support may not be as good for the moment. However the ACPI tables look
> more complete.)
>
Please provide problem descriptions when doubting the quality of my
work. Otherwise you're empty-talking.