Re: [Linaro-acpi] [PATCH 02/20] ARM64 : Add dummy asm/cpu.h