Yeah, okay... I searched for it on the ATmega1280 datasheet. PINC refers to the port C input pin address register (there are also data and data direction registers). Similarly, PINF refers to port F's register.
So I'm gonna go with "replace PINC with PINF", sit back and watch what happens.
