[coreboot] EC problem in X200s?