Static driver verifier can benefit from __fallthrough annotations in case statement without 'break', passing control to the next case statement. Signed-off-by: Joseph Hindin <[email protected]>