[Arm-dev] Kernel questions