Some changes on EFI API definitions