Andrew Robbins 04451caf07 Place built SeaBIOS files in its build directory %!s(int64=6) %!d(string=hai) anos
..
configs cf68bd0b2a Consolidate SeaBIOS configs %!s(int64=6) %!d(string=hai) anos
seabios 04451caf07 Place built SeaBIOS files in its build directory %!s(int64=6) %!d(string=hai) anos