Does somebody have a coreboot log from serial or USB for cold boot and resume, please? I am unable to get one right now, because the docking station is not here.
I have logs from EHCI debug: normal boot and resume from suspend to RAM.
Using dd, grep and hexdump shows that the coreboot table entry at memory address 0x500 gets zeroed. /proc/iomem considers that address "reserved".
Guessing from searching the code: smm_setup_structures from src/southbridge/intel/i82801gx/smi.c overwrote it, called by acpi_resume in src/arch/x86/boot/acpi.c. I haven't checked how the (mentioned in the comment) GNVS relocation or coreboot table writing are done, nor how it's different when resuming.