Re: [coreboot] RFC: automatic mptable creation