build gcc twice to be suce that libgcc is available
build gcc twice to be suce that libgcc is available

RWTH-OS/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,stlankes/HermitCore,stlankes/HermitCore