Re: [Arm-dev] testing updated kernels - feedback wanted !