Re: (subset) [PATCH v3 05/14] drm/sun4i: Allow building the driver on RISC-V