Various TLB/cache optimizations