Re: [Arm-dev] building AArch64 CentOS kernel from git