[Bug 297716] linux-kernel-headers update broken