Re: [coreboot] m57sli, seabios and gpxe - kernel booting issues (BUG: INT 14 etc)