manifest: add gcc 4.8 toolchain repo