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>