Re: [Arm-dev] RPI / kernel config