Re-enable lib32 by default (and remove option?)

[jrtc27]

Blocked on build fixes propagating sufficiently. See CTSRD-CHERI/cheribsd#1732.

NB: Option removal would be blocked on CheriBSD Jenkinsfiles no longer enabling it, so would need to be a two-step process.