targets/kc705: use PLL for clocking
gensoc/cpuif: do not generate access functions for registers > 64 bits
targets/ppro: use migen reset synchronizer