[coreboot] Re: Unable to get S3 resume to work on new port