[PATCHv2] powerpc/85xx: Add OCA4080 board support

[Scott Wood]

On Tue, Apr 15, 2014 at 07:51:46PM +0200, Martijn de Gouw wrote:
> diff --git a/arch/powerpc/platforms/85xx/corenet_generic.c b/arch/powerpc/platforms/85xx/corenet_generic.c
> index fbd871e..f3685047 100644
> --- a/arch/powerpc/platforms/85xx/corenet_generic.c
> +++ b/arch/powerpc/platforms/85xx/corenet_generic.c
> @@ -55,8 +55,6 @@ void __init corenet_gen_setup_arch(void)
>  	mpc85xx_smp_init();
>  
>  	swiotlb_detect_4g();
> -
> -	pr_info("%s board from Freescale Semiconductor\n", ppc_md.name);

Valentin's patch kept this line but removed "from Freescale
Semiconductor"; I'll leave it like that when applying.

-Scott