Fixed a issue where each interrupts was executed twice, due to additional pipelining on ProcessIRQ. Need to talk to AlanD about this. Reverted to pattern in original fpga64 design

Change-Id: I8256458f96940cd38c7a09ac95946a036b067537