x86-64: Allow choice of 0xCC or 0xCE as the interrupt instruction