Introduce VAddr and PAddr typedefs for ARM addresses.
Merge pull request #82 from yuriks/addr-types

Introduce VAddr and PAddr typedefs for ARM addresses.