x86: cleanup kernel/setup_64.c