targets/ppro: clean up indentation
make.py: add set_flash_proxy_dir to flash-bios
targets/ppro: fix BIOS address
targets/ppro: reduce SPI flash clock frequency