Update piranha SGX DDK to 1.9@2291151