[coreboot] Bug in cache_as_ram.inc and cache_as_ram_post.c