Re: [PATCH] drm/tinydrm: fix semicolon.cocci warnings