A (maybe too obvious) variant would be to create a binary dsdt instead of a C file and pack that into CBFS. It would reduce coreboot size and allow to copy/decompress it right to cbmem

This would be fine with me.  It's quite a bit more overhead than the double copy, though.