Comment 23 for bug 1089195

As for #21, I found out that even dpkg --purge needs some free inodes under /var. My script can handle it, if /var is in the same partition as /usr/src; it just removes the selected header version's directories from /usr/src and purges the related versioned kernel packages by dpkg thereafter. I do not see a problem in such a practice.