[SeaBIOS] coreboot's memtest86+ is buggy compared to memtest86+ floppy