x86: fix compile warning in init_64.c