We need one library to support all of 39, 42 and 48 bit VMAs, and there is no common address that works for all of them.