Re: [coreboot] {PATCH] DirectHW: allow zero mapping