[pinephone] remove kernel headers, since they are no longer used

dae45aa0 · Dan Johansen · 37e262f7 · dae45aa0
Verified Commit dae45aa0 authored 4 years ago by Dan Johansen
--- a/devices/pinephone
+++ b/devices/pinephone
@@ -2,7 +2,7 @@

 # Kernel and bootloader stuff
 linux-pinephone
-linux-pinephone-headers
+#linux-pinephone-headers
 uboot-pinephone
 bootsplash-theme-manjaro
 bootsplash-systemd