Re: [PATCH v3 18/30] drivers/cpu: Add generic armv8 cpu driver