Re: [coreboot] #69: Fix mptable util so the output will compile