linux: Remove 5.1.3

Linux 5.2-rc1 [1] is available, so remove the 5.1 Linux kernels, never
installed on the distmaster – especially as the proprietary Nvidia
driver was not packaged.

[1]: https://lkml.org/lkml/2019/5/19/119