Added vaddr_cache_color() to paging code