EFI: Finally give the graphics device the correct name.
EFI: Export newly imported tinaocore UEFI sources to OSE.