[PATCH v8 11/13] xilinx: Disable CONFIG_BOOTSTD_DEFAULTS for some xilinx boards