Make TASTE v10 able to build SW for ZynQ ZC706