Finishing documentation in multiboot.h