The bootinfo command does not have a man page, can I use it?