Convert mario and alex to 32bit.

BUG=chromium-os:30820
TEST=Launch release trybots for these overlays.

Change-Id: Ic477345cd9a70a0443f0d821ba33c08a001cbe84
Reviewed-on: https://gerrit.chromium.org/gerrit/22487
Reviewed-by: Mike Frysinger <vapier@chromium.org>
Tested-by: David James <davidjames@chromium.org>
(cherry picked from commit 32dc74dad896b31d53a15382a23640df935bb843)
Reviewed-on: https://gerrit.chromium.org/gerrit/22733
Reviewed-by: Brian Harring <ferringb@chromium.org>
Reviewed-by: Sonny Rao <sonnyrao@chromium.org>
8 files changed