kernel: Remove unused invlpg() function