kernel: Remove unused invlpg() function
sys/conf/files: Adjust some excessive tabs.
firmware.9: Adjust ARM specific example to one from our tree.
Merge branch 'master' into gsocdrm_alter