[coreboot] Coreboot bug?

[Stefan Reinauer]

Peter Stuge wrote:
> Myles Watson wrote:
>   
>>>> unsigned char option_table[] = {
>>>>        0xc8,0x00,0x00,0x00,0x88,0x04,0x00,0x00,0x0c,0x00,
>>>>         
>>> Second 32 bits 0x88,0x04,0x00,0x00 is the length. We're small endian.
>>> So it's 0x488 or 1160 bytes. Does that match?
>>>       
>> Yes, it matches.  There are 116 10-byte lines.
>>     
>
> Maybe make a type with struct lb_record followed by unsigned char [],
> then it is more clear what is going on.
>
>   
Or just get the length via read32.