docs: Update all build instructions that force 32-bit guests.

S2E is no longer limited to 32-bit guests.

Signed-off-by: Diego Biurrun <diego@biurrun.de>