port-amd64/58410: x86_patch() panic with core ultra processor

[prlw1%cam.ac.uk@localhost]

>Number:         58410
>Category:       port-amd64
>Synopsis:       x86_patch() panic with core ultra processor
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    port-amd64-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Wed Jul 10 05:20:00 +0000 2024
>Originator:     Patrick Welche
>Release:        10.99.11/amd64 2024 Jul 8
>Organization:
>Environment:
>Description:
Booting a netbsd-INSTALL kernel on a laptop with an intel 155H panics with:

  panic: kernel diagnostic assertion "rcr4() & CR4_SMAP" failed: file "/usr/src/sys/arch/x86/x86/patch.c", line 356
  trap type 1 code 0 rip 0xffffffff8023415 cs 0x8 rflags 0x202 cr2 0 ilevel 0 rsp 0xffffffff81cd8dc0

https://nxr.netbsd.org/xref/src/sys/arch/x86/x86/patch.c#356
(How do you make use of kern-INSTALL.symbols?)

That's all for now (db_read_int: cannot find `msgbufenabled')
>How-To-Repeat:

>Fix: