fdt_update_stdout_path
fdt_update_stdout_path(fdt_data, boot_args);
void fdt_update_stdout_path(void *, const char *);