Re: [OpenBIOS] multiboot image name