[Arm-dev] RPI / kernel config