4 of 7 (Leah Rowe) c365a3d9a7 also add PIKE2008 workaround to SeaBIOS ROMs, not just SeaGRUB %!s(int64=8) %!d(string=hai) anos
..
withgrub db52282cd9 make use of ./oldbuild, not ./build, in the old build system %!s(int64=8) %!d(string=hai) anos
withgrub_helper 54681098aa build/roms/withgrub: disable loading option ROMs in SeaGRUB %!s(int64=8) %!d(string=hai) anos
withseabios db52282cd9 make use of ./oldbuild, not ./build, in the old build system %!s(int64=8) %!d(string=hai) anos
withseabios_helper c365a3d9a7 also add PIKE2008 workaround to SeaBIOS ROMs, not just SeaGRUB %!s(int64=8) %!d(string=hai) anos