When loading the fw_cfg address with just lis, addi sequence,
we get the high address bits as 0xffffffff on ppc64.
Use the full double word immediate load sequence on ppc64.
v2:
* Rename from load() to LOAD_REG_IMMEDIATE() to match Linux.
Suggested by Alex.
* Move to ppc/asmdefs.h for future use elsewhere.
Signed-off-by: Andreas Färber <andreas.faerber@web.de>
Acked-by: Alexander Graf <agraf@suse.de>
git-svn-id: svn://coreboot.org/openbios/trunk/openbios-devel@944 f158a5a8-5612-0410-a976-696ce0be7e32