I have an x41 that prints the following in dmesg:
acpicpu0 at acpi0
C1: unknown FFH vendor 8: !C3(250@85 io@0x1015), C2(500@1 io@0x1014), PSS
The relevant AML indead has that strange value in the "Bit Width" field:
Name (CST1, Package (0x02)
{
0x01,
Package (0x04)
{
ResourceTemplate ()
{
Register (FFixedHW,
0x08, // Bit Width
0x00, // Bit Offset
0x0000000000000000, // Address
,)
},
0x01,
0x01,
0x03E8
}
})
Obviously this ACPI BIOS is buggy and perhaps we should indeed
complain. But we also should include a C1 HALT state in the list
regardless, and I don't think we currently do that.