UEFIブートはbootx64.efiがあればいいだけだから問題は全くない