Find a new bug in bootinfo. Must fix yet.