primary_entry_offset
extern unsigned long primary_entry_offset(void);
enter_kernel = (void *)entrypoint + primary_entry_offset();