Comment 7 for bug 423412

Oh, by the way: it seems that the grub modules are built with -O2 -- using -Os could possibly shave a few percent off, which would give a little bit bigger margin of safety in the future.