Linux kernel for s702 board (Hyundai T7s/T7 tablet) for ARMhf