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