x86, init_64.c: cleanup