http://www.gnu.org/licenses/old-licenses/gpl-2.0.en.html
> object code or executable form under the terms of Sections 1 and 2 above provided that you also do one of the following:
> object code or executable form under the terms of Sections 1 and 2 above provided that you also do one of the following:
Your quoted section only speaks of unmodified machine-code created from GPLed source-code.