/sys/lib/libgnuefi/