Update TODO
Move TLB helpers into cpu.h