Export Hardware to Xilinx SDK

You may not be able (gray out) to "Include bitstream", when you try "Export Hardware to SDK".
You need open "Implementation Design" first, and then export. ^^