[coreboot] ThinkPad W530 support