(elf_machine_runtime_setup): Update skeleton definition.