Re: [Arm-dev] Kernel problems on APM X-Gene