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