Split kernel.elf copying into a seperate target
binfmt_elf.c now loads tasks properly, removed a few magic numbers in x86 selector code
Removed tabs