[Arm-dev] Kernel 4.19.1