Bug#914431: Similar bug previously reported for linux-headers-4.19.0-rc6-amd64

[Plasson Raphaël]

I just realized that a similar bug was reported in
linux-headers-4.19.0-rc6-amd64, in bug #910348

Raphael