AT_ENTRY
bufp[idx++] = cpu_to_be64(AT_ENTRY);
NEW_AUX_ENT(AT_ENTRY, e_entry);
NEW_AUX_ENT(AT_ENTRY, exec_params->entry_addr);