elf32: tidy up
elf32: get argv/argc from linux kernel
elf32: hard code each section size to 4096 for easy layout
1