AFPGA Flash/AFPGA configuration issues
- Quite misleading net names around IC50 (flash mux): AFPGA_CCLK is in fact coming from the SFPGA.
- Place a comment explaining that IC50 multiplexes between SFPGA (bootloader programming the AFPGA flash) and AFPGA (AFPGA startup from the AFPGA flash).
- IC51: why S25FL128 instead of M25P128 (used already in the project - it's 16 MBytes so should be sufficient in terms of size)?