* build kernel libgcc and libsupc++ with disabled posix threads for all architectures. We currently change the configuration manually, as gcc doesn't easily let us reconfigure without a full rebuild.
* build kernel libgcc and libsupc++ with disabled posix threads for all architectures. We currently change the configuration manually, as gcc doesn't easily let us reconfigure without a full rebuild.