Function load_and_run_elf_with_args 

pub fn load_and_run_elf_with_args(
    elf_data: &[u8],
    name: &'static str,
    extra_args: &[&str],
) -> Result<TaskId, &'static str>

Load an ELF64 binary with command-line arguments and schedule it as a Ring 3 task.

extra_args maps to argv[1..]; argv[0] is always name.