k3-sle: Fix generation problem in Gemoc