While we're not super size constrained, the x86 BIOS /boot/loader has
to be less than about 520k-530k to be reliable. The LUA loader is at
this size today. -Os saves about 15% on the size, keeping us safely
small enough. This will also help with sjg's work on bringing in
bearssl, though we may again be looking for space in the LUA loader.