xilinx_zynqmp.h: erroneous(?) "#define CONFIG_PANIC_HANG"