Rename driver name of nova-core and nova-drm #1228
Description
The nova-core driver currently have driver name "NovaCore", and similarly nova-drm driver has name "Nova", which is not the usual kernel convention where it either use snake_case or kebab-case.
We should change it to match before nova is out of experimental stage and the driver name becomes an UAPI (e.g. exposed to driver_override).
nova-core driver should be named "nova-core", and @dakr suggests that we should name the nova-drm driver "nova-drm" instead of the generic "Nova" as it does today.
This requires submitting a proper patch to the LKML and the Rust for Linux mailing list. Please recall to test your changes (including generating the documentation if changed, running the Rust doctests if changed, etc.), to use a proper title for the commit, to sign your commit under the Developer's Certificate of Origin and to add a Reported-by: tag, a Closes: tag to this issue and a Fixes: tag to the relevant commit. Please see https://docs.kernel.org/process/submitting-patches.html and https://rust-for-linux.com/contributing for details.