[Arm-dev] Odroid UX4/HC1,2 Community kernel 4.18.x