zynq: refresh kernel 4.14 configuration