Don't the P/H55 Intel boards use an EFI ?