Re: [Arm-dev] kernel modules vs builtin