Re: [PATCH 05/10] armv8: Add arch-specific sysinfo driver