How does one estimate how many power (vddio / vddcore) pins one needs ?