tree 9e4db493bd65b7837d0113ba777713102d88fb9a
parent 1333356350c7ec2ab09e56f1ce87db3c4168a648
author David James <davidjames@chromium.org> 1336759030 -0700
committer David James <davidjames@chromium.org> 1337187183 -0700

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>