Introduce VAddr and PAddr typedefs for ARM addresses.