mongodb: switch to libressl; restrict to x86 for now.