[coreboot] Using WSL to build coreboot