From: Dominik Brodowski <linux@dominikbrodowski.de>

Don't use the ACPI data on CPUs we don't know nothing about.