Re: [OS-BUILD PATCH] Update config for renamed panel driver.

From: Bastien Nocera on gitlab.com https://gitlab.com/cki-project/kernel-ark/-/merge_requests/510#note_38291... The driver is still using the old name in the `ark-patches` branch, which is the branch that we recommend [users target for merge requests](https://cki-project.gitlab.io/kernel-ark/submitting- contributions.html#kernel-patches). Which means that the `ark-patches` branch hasn't been able to generate SRPMs for a week despite the CI passing.