Make EFI decompressor 64bit friendly

All we need is to provide sane types in 64bit environments in efihack.h

Change-Id: I750dda5b575e6d4b59846ad5956f1db93524e87e
Signed-off-by: Rudolf Marek <r.marek@assembler.cz>
Reviewed-on: http://review.coreboot.org/1586
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
1 file changed