[PATCH 3.16 030/131] x86/bugs: Fix the parameters alignment and missing void