On Sun, Oct 23, 2011 at 08:57:59PM +0300, Andriy Gapon wrote: > I found a document that suggests a possibility of BIOS writing more bytes to the > array than its current size of 0x42: [...] > Could you please test this hypothesis by trying the following patch? With -O1 and this patch, it boots. Thank you! - D.