[PATCH v7 09/11] xilinx: Disable CONFIG_BOOTSTD_DEFAULTS for some xilinx boards