Build should be compatable with patch and unpatched versions of the Debian 10 kernel