The Librem 14 has a known issue with the battery failing to charge due to a problem with the EC. There is a fix but I installed Qubes and wiped PureOS before fixing it. Now, running the script to fix it fails because it can’t find the correct kernel headers. The potential fix is to download the kernel devel for for the 5.4.98-1.fc25 kernel. (1) is this safe to do; and (2) how would I do this? Can it even be done from the Dom0 terminal? Many thanks!