On Tue, Jan 12, 2016 at 01:40:18PM -0500, Kevin O'Connor wrote:
If the CBFS header is invalid and points to 0xffffffff it could cause SeaBIOS to read past the 4GB boundary and cause an exception. Check the alignment of the header pointer before attempting to access fields within the header.
FYI, I committed this change.
-Kevin