ZY7_SLCR_REBOOT_STAT
WR4(sc, ZY7_SLCR_REBOOT_STAT,
RD4(sc, ZY7_SLCR_REBOOT_STAT) & 0xf0ffffff);
zynq_reboot_status = RD4(sc, ZY7_SLCR_REBOOT_STAT);