[U-Boot] Zynq: CONFIG_BOARD_RESET or reset_misc(), or ...?