set Zynq machine type (3378) into r1 before jumping to kernel