[PATCH] x86: Make default_print_cpuinfo be a weak alias for print_cpuinfo