Adjust glob pattern for configuration files
    
    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>