Re: [coreboot] question on disable_cache_as_ram() function.