How to use Xilinx SDK for Board Bring Up