[coreboot] #164: Building Coreboot v4 r5555/5554 fails mysteriously on Debian lenny and etch (x86)