This directory and its contents was moved to /usr/share/efi/x86_64.
Individual symbolic links are provided for a smooth transition and
may vanish at any point in time.  Please use the new location!
