esmith1412/libreboot: Libreboot is a free boot fimware implementation, to replace the non-free BIOS/UEFI firmware found on most systems. It initializes the hardware and starts a bootloader for your operating system. @ foofoofoobarTESTDONOTMERGE

Andrew Robbins 1ea8d09af2 Patching now works. bucts can be patched & built.		%!s(int64=7) %!d(string=hai) anos
..
configs	1ea8d09af2 Patching now works. bucts can be patched & built.	%!s(int64=7) %!d(string=hai) anos
patches	1ea8d09af2 Patching now works. bucts can be patched & built.	%!s(int64=7) %!d(string=hai) anos
bucts	1ea8d09af2 Patching now works. bucts can be patched & built.	%!s(int64=7) %!d(string=hai) anos