32-bit IBT is much harder to systematically integrate into the whole
system (and enable by default) -- so we didn't bother to start.

Reply via email to