[coreboot-gerrit] [XS] Change in coreboot[master]: soc/sifive/fu540/Kconfig: Fix opensbi platform