Add a biosincludes.h header file for x86 (i386).

The types used in this file are based off of standard Linux header files for
32 bit x86 (i386) under the assumption that the types generated by gcc will be
the right size.

TEST=Built vboot_reference for x86-mario and saw it succeed.

Change-Id: I948652d4ecd50391ac8797efd91192d4c900a8ca
Reviewed-by: Stefan Reinauer <>
Tested-by: Gabe Black <>
1 file changed