Hi, For the record, this bug is actually due to an error in the linux-kernel-headers. I already filed a bug for it a couple of weeks ago, see #321246.
Regards, Regis -- "While a monkey can be a manager, it takes a human to be an engineer" Erik Zapletal