EFI: make switching between text & graphics modes work