[OpenBIOS] Program state and elf/linux/a.out/Fcode loaders