process_kernel_args_liner
static void process_kernel_args_liner(char *);
process_kernel_args_liner((char *)uboot_args[r3]);