Ignore case when looking for UEFI boot*efi file (#1156380)
tree63f95af79b224d4fe800c0fde4204c069cadea0b
-rw-r--r-- 3343 API
-rw-r--r-- 80 AUTHORS
-rw-r--r-- 17991 COPYING
-rw-r--r-- 844 HACKING
-rw-r--r-- 2408 Makefile
-rw-r--r-- 6075 README
drwxr-xr-x - config
drwxr-xr-x - docs
drwxr-xr-x - imgcreate
drwxr-xr-x - tools