Problem installing librem_ec_acpi for Qubes 4.2 with kernel-latest (6.6.9)

Following Install librem-ec-acpi-dkms in Qubes ($1170) · Snippets · Snippets · GitLab, I needed to install kernel-latest-devel, not kernel-latest. However, now I am stuck when attempting to build the EC module. I appear to be missing a kernel header file.

sudo dkms build librem_ec_acpi/1.0 fails with the following:

make: Entering directory '/usr/src/kernels/6.6.9-1.qubes.fc37.x86_64'
  CC [M]  /var/lib/dkms/librem_ec_acpi/1.0/build/librem_ec_acpi.o
  MODPOST /var/lib/dkms/librem_ec_acpi/1.0/build/Module.symvers
  CC [M]  /var/lib/dkms/librem_ec_acpi/1.0/build/librem_ec_acpi.mod.o
In file included from /var/lib/dkms/librem_ec_acpi/1.0/build/librem_ec_acpi.mod.c:10:
./arch/x86/include/asm/orc_header.h:9:10: fatal error: asm/orc_hash.h: No such file or directory
    9 | #include <asm/orc_hash.h>
      |          ^~~~~~~~~~~~~~~~
compilation terminated.
make[2]: *** [scripts/Makefile.modfinal:29: /var/lib/dkms/librem_ec_acpi/1.0/build/librem_ec_acpi.mod.o] Error 1
make[1]: *** [/usr/src/kernels/6.6.9-1.qubes.fc37.x86_64/Makefile:1846: modules] Error 2
make: *** [Makefile:234: __sub-make] Error 2
make: Leaving directory '/usr/src/kernels/6.6.9-1.qubes.fc37.x86_64'

I was able to resolve the problem by:

1. sudo make clean M=`pwd` # /usr/src/kernels/6.6.9-1.qubes.fc37.x86_64
2. rm .config.old
3. sudo qubes-dom0-update --action=reinstall kernel-latest-devel # Re-installing `kernel-latest-devel`
4. Re-doing the .config copying from /boot
5. Re-creating Documentation/Kconfig
6. sudo make oldconfig && sudo make prepare M=`pwd`