Re: [kernel] Minor updates for ARMv7/ARM64