kernel: Staticize some variables in platform/pc64.