SESA/EbbRT — pull request #41 by jmcddn (2013-07-02 13:51:03+00:00)
Title: Remove 'enable-baremetal' flag. Added ppc64 case.

Platform decided by host_os value. Configuration extended to support powerpc64.