K 10 svn:author V 3 imp K 8 svn:date V 27 2017-08-27T03:10:16.784172Z K 7 svn:log V 225 Eliminate redunant device path matching. Use efi_devpath_match instead of device_paths_match. They are functionally the same. Remove device_paths_match from boot1.c and call efi_devpath_match instead. Sponsored by: Netflix END