 c6f3f334d1
			
		
	
	
		c6f3f334d1
		
	
	
	
	
		
			
			MX PIC comes out of reset with IRQ routing registers set to 0, thus not delivering any external IRQ to any connected CPU by default. Fix the model to match the hardware. Signed-off-by: Max Filippov <jcmvbkbc@gmail.com>