With the introduction of the new method of configuration generation the names of the shipped kernel configuration files changed too. Adjust the glob pattern in the check-configs.pl script to those changed names. Signed-off-by: Paul Bolle <pebolle@tiscali.nl>