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>