Please note that this does _not_ mean that all of the LinuxBIOS code is GPLv2. The text I added just states a fact which has already been true all of the time. I did not make changes to any licensing.
Here's the situation: we have some files which are GPLv2, we have some files which are 'GPLv2 or later' and we have some files which have other licenses.
LinuxBIOS (binary) images are built from source code which is in part GPLv2 and in part 'GPLv2 or later'. Thus the resulting binaries as a whole are licensed under the GPLv2 only.
At least that's my understanding of the situation, but feel free to correct me if I'm wrong.
That sounds exactly right.
Segher