[coreboot] [PATCH] badram filtering