[patch V2 01/13] x86/entry: Fix instrumentation annotation