ATtiny85 a 16mhz con High Frequency PLL Clock

Mmm utilizzando ArduOpen...
La cosa che mi stupisce è che sia riuscito a programmare un Pico85 SMD a 1mhz appena appena tirato fuori dal packaging, con ArduOpen e il core ArduinoTiny modificato per girare a 16mhz (in boards)... dite che in realtà lo programma a 1mhz?? mi sembra strano!