driver can read 64-bit arguments on ARM

ARM EABI has an alignment requirement where 64-bit syscall arguments need to be
passed in an even/odd register pair. If needed, a register of padding is
required. This patch implements that logic
Merge branch 'dkogan/armport'

Conflicts:
	driver/ppm_fillers.c