[kbuild-all] [PATCH] x86/alternative: fix semicolon.cocci warnings