linux/proc: do something with 'TLB size'