Update an assertion to reflect the changes made in r270439.  This is a
direct commit to stable/10 because ia64 is no longer supported by HEAD.

Reported by:	marcel
Sponsored by:	EMC / Isilon Storage Division
Merge remote-tracking branch 'freebsd/stable/10' into hardened/10/aslr