x86, setup: correct include file in <asm/boot.h>