Making external (alien) RAM cacheable