Re: [coreboot] [PATCH] cache type for BIOS flash memory should be WP-MMIO, not WB-MMIO