HomeIsabelle/Phabricator

Updated 32-bit bootstrap file with support for big-endian.