I've downloaded OpenBIOS-0.99.1.tar.bz2 , done "make config" and "make". According to the documentation, I should have a file named "openbios.multiboot". I don't. I have found obj-x86/build/arch/x86/multiboot.image , however. Is this the file I want, or is the file I need missing because something went wrong?