[PATCH 4.4 28/86] x86/entry: spell EBX register correctly in documentation