[U-Boot-Users] [PATCH 2/4] Use config.h, not xparameters.h, for xilinx targets