[arch-dev-public] kernel-headers missing in packages.txt