Re: [Linaro-acpi] [PATCH v3 3/7] Xen / ACPI / processor: Remove unneeded NULL check