Correcting compilation errros for the ARM architecture.
Correcting printf to use the correct mask