Is Linux-Headers recommended to be installed?

The purpose of it is that we ship a DKMS module needed for the Librem laptops (librem-ec-acpi-dkms)

The driver librem_ec_acpi provides Linux kernel support for the ACPI embedded controller of the following devices:

  • Purism Librem 14 laptop