VBoxHfs: switch efi to binary btree search