[SeaBIOS] Re: Real mode kexec failure with non-IDE disk