Re: [Arm-dev] New kernel?