The text 391450751553, as FreeBSD 10.0-RELEASE shipped it.
ACPI to WMI mapping driver
acpi_wmi(4) on FreeBSD now
