[coreboot] Memory map and type 13 (Fwd: Re: e820: Undefined type not treated as AddressRangeReserved)