Re: [Arm-dev] Community kernel 4.18.x