xtensa: make fake NMI configurable