[coreboot] x200s' nvram will reset to default value if last boot is a normal boot of debian.