x86: add a note about needing 32-bit C libraries