I have a binary file that is the firmware for the embedded controller on
the laptop platform that I am working on. In the regular BIOS provided
by the hardware vendor this 128KB binary is located at offset 0x400000
in the BIOS image.
Is there any documentation or instructions anywhere on how I include
this into the Coreboot image that I am creating?