Re: [PATCH v3 07/10] armv8: Add arch-specific sysinfo platform driver