zynq: switch default kernel to 5.15