The text 510119506339, as Debian 6.0 (Squeeze) shipped it.
ACPI to WMI mapping driver
acpi_wmi(4freebsd) on Linux now
