[coreboot-gerrit] Change in coreboot[master]: option: Allow to use the EFI variable driver as option backend