So looking at this further what I am really trying to do is build the vboot_reference library for x86 so I can link it to my own program and run it in QEMU.It looks like I should be able to do this but running the following commandmake FIRMWARE_ARCH=x86returns with preferred-stack-boundary should be between 4 and 12and when I fix that it complains about inttypes.h not existing, which should be a standard library.