[coreboot] Bare metal hello world rs232 payload

[Adam Duncan]

Hi all. I am new to coreboot and just built a default coreboot+seabios ROM
and ran it on a 64bit minnowboard max. Now I'd like to build a simple hello
world payload elf that would simply print a string on rs232.

Can you recommend the best approach to do this? I was looking at using
libpayload but read in the README that it creates 32 bit elfs.

Thanks!
Adam