Yes this was the correct way but it seems to be not a kernel or kernel-driver problem.
Grub should print some loading messages before it jump to the kernel.
I’m not sure what happens here.
Does this HP support the legacy/CSM mode?
Is there a bios/uefi update from HP?
If this is enabled by default this is a firmware bug. Normal this should only enabled on very large servers.
Here the Help text to the kernel option:
This enables x2apic support on CPUs that have this feature.
This allows 32-bit apic IDs (so it can support very large systems), and accesses the local apic via MSRs not via mmio.
If you don't know what to do here, say N.
I am not a fan of having things like that on the wiki, because they age. The next kernel might work better or worse and nobody will ever update those pages. Normally they get abandoned really quickly because people move on to hardware that just works and cannot bother with these problems all of the time.
If you are in bootmenu try “e” or “tab” (depend on bios/efi) to edit the used kernel options. There is no need to burn a changed disk or edit the bootmedia.
After the system has booted once you can edit /etc/defaults/grub to permanent add such parameters.