Bayonetta patch for PS3 released in Europe