kernel/x86_64: help gcc with devirtualization

This patch gets rid of some indirect calls in the paging code.