Re: [coreboot] x220: cannot modify nvramcui options with newest coreboot (git a96e31b)