(tcbhead_t): Add vgetcpu_cache.