pointers. This finishes fixing conversions between pointers and integers of possibly different sizes in GENERIC.