review.coreboot.org / coreboot / dd4d8951368029634f53e44e1a222417b72036c0 / src / cpu / intel / car / non-evict / cache_as_ram.S