Improved elf loading. printf() is usable in user programs.