Copy kernel as an executable too, for easier testing.
Extend structures, add efi namespace, rename things to system style.