diff --git a/frontend/drivers/platform_linux.c b/frontend/drivers/platform_linux.c
index 4e54eed6a0..fb23e6cb16 100644
--- a/frontend/drivers/platform_linux.c
+++ b/frontend/drivers/platform_linux.c
@@ -461,7 +461,7 @@ static void frontend_linux_get_os(char *s, size_t len, int *major, int *minor)
    if (uname(&buffer) != 0)
       return;
 
-   sscanf(buffer.release, "%d.%d.%d", major, minor, &krel);
+   sscanf(buffer.release, "%d.%d.%u", major, minor, &krel);
    strlcpy(s, "Linux", len);
 }