François Revol 09d213f3b3 PPC: OF: Make sure kernel args match the U-Boot one ...

Since both platforms can boot the same kernel we must accept either
arg, so we make sure they are identical for now.

TODO: use a union or KMessage maybe?

2013-09-17 15:49:49 +02:00

..

platform_arch.h

…

platform_kernel_args.h

…

platform_stage2_args.h

…