The build script (in https://code.puri.sm/kakaroto/coreboot-files) needs to have L13v1 support added to it.
Done, and tested.