Missing $OpenBSD$'s.ok deraadt@
Improve mkuboot's ELF handling. This fixes the problem where mkubootrunning on 64-bit systems does not create valid images.While there, append kernel symbols at the end of the kernel.ok syl@