Hi Luca ( @gianlucacornacchia ) ,
Thanks for letting me know.
I have also been helping another developer here with this issue. It might be worth you keeping an eye on this thread also. I agree you should definitely engineer the semaphore out of the driver. It is not good to have blocking code in the LVGL flush mechanism this is definitely a source of performance issues in my opinion. 
Kind Regards,
Pete