Raspbian darf Raspberry Pi ganz offiziell auf bis zu einem GHz ...