Devices/EFI: fix a number of typos and copy/paste leftovers, should not change functionality in any way
EFI: Export newly imported tinaocore UEFI sources to OSE.