Re: koch boot fails reading basicopt.txt

[kaushalmodi]

Someone on the IRC faced the same issue, and they fixed it by updating to the 
very latest gcc.