[coreboot] [commit] r5828 - in trunk/src: console include lib