bootinfo.c: O3 fix