Commits
Bernd Kuhls committed f0f51c907d3
linux-headers: bump 4.{9, 12, 13}.x series
[Peter: drop 4.13.x bump]
Signed-off-by: Bernd Kuhls <bernd.kuhls@t-online.de>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
(cherry picked from commit 2aae8765fd8ce95a8a1f902f96293b610c5b8405)
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>