add further debug instrumentation for CIA IRQ bug
add 4KB RAM model to ISE project