Address issue 156: 64-bit addresses get trucanted
Addresses were declared as "unsigned int" in drivers/arm/peripherals/pl011/pl011.h and mask in function init_xlation_table. Changed to use "unsigned long" instead
Fixes ARM-software/tf-issues#156