pps-tools builds on kernel 4.1, but instead of adding this kernel,
remove the check as all kernel versions currently supported by OpenWrt
are listed.

Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>