K 10
svn:author
V 7
bdragon
K 8
svn:date
V 27
2020-05-07T17:58:07.791882Z
K 7
svn:log
V 171
[PowerPC] Fix powerpcspe build failure after r360569

On powerpcspe, vm_paddr_t is 64 bit despite it being a 32 bit platform.
Adjust compile time assertion to compensate.

END