Is this issue Debian specific or anyone observed it in other distros? Because
if it's something wrong with Debian's kernel build I should probably file a
Debian bug about it.