Fix up help message for --enable-64-bit

Change-Id: Ie3646a1af8663683535642e42118cd39c349a94c