x86, nmi: Use predefined numbers instead of hardcoded one