Pull up following revision(s) (requested by msaitoh in ticket #1437):

sys/arch/x86/x86/intr.c: revision 1.147

Fix a bug that evcnt_detach() called twice when the idt vector is full.

OK'd by knakahara.

(martin)