[coreboot] Re: hang in walkcbfs.S on skylake SP