early_print
extern __printf(1, 2) void early_print(const char *str, ...);
early_print("no ATAGS support: can't continue\n");
early_print("Warning: Neither atags nor dtb found\n");
early_print("\nError: unrecognized/unsupported "
early_print("'%s' ", prop);
early_print("]\n\n");
early_print("\nError: invalid dtb and unrecognized/unsupported machine ID\n");
early_print(" r1=0x%08x, r2=0x%08x\n", __machine_arch_type,
early_print(" r2[]=%*ph\n", 16, atags_vaddr);
early_print("Available machine support:\n\nID (hex)\tNAME\n");
early_print("%08x\t%s\n", p->nr, p->name);
early_print("\nPlease check your kernel config and/or bootloader.\n");