fix using built cores on xst