Update bin_ningb.c

add some stuff here --> symbols for hard-interrupt-handlers