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?
ARM: kernel: fix system_time() when being called too early.