Um beispielsweise die Header der Kernel-Version 5.0.x aus dem System zu löschen, würde folgender Befehl eingegeben:
sudo pacman -R linux50-header