For instance, there are (at least) two different ways to find a file's size in EFI. When done on a symlink, one of these methods returns the size of the symlink (which is quite small) and the other returns the size of the symlinked file. (he is how rEFInd identifies symlinks -- if these two sizes are not identical, rEFInd assumes the file is a symlink.) This issue, or some other quirk, may have c