The first library in question is the poorly named "liboffload", which handles offloading work to Intel's high-end Xeon Phi compute cards. Permission was needed from the GCC steering committee for introducing a foreign library plus that there's some GPLv2.1 header files and new sources.
The committee has ruled that it's okay for the Xeon Phi offload library to be added to the GCC code-base, but that if liboffload isn't going to be extended to support all GPU and compute targets, the library name should be renamed prior to merging instead of the rather universal name.
The approval message from the GCC SC was shared on the GCC mailing list. This work should wind up in GCC 4.10, which will be released in 2015.