[coreboot] Re: Using WSL to build coreboot