Note that we were missing the 32-bit SLA.
Signed-off-by: NRichard Henderson <rth@twiddle.net>