[coreboot] [PATCH] Add lib.h