arm-rpi kexec.c:  Fix kernel length

The machine code stub to copy the new kernel to its final location
expected that its length be specified in 32-bit words, but the length was
passed in bytes.