Broken IRQ handling for S3C2416

["José Miguel Gonçalves" <jose.goncalves@inov.pt>]

Hi,

While migrating from kernel 3.8 to kernel 3.9 I've detected a problem on my 
S3C2416 based board. I'm using UART 3 as console and with kernel 3.9 I'm unable to 
have a getty working on that port and see a lot of these on dmesg:

samsung-uart s3c2440-uart.3: cannot get irq 94

Also WDT is not correctly initialized in 3.8, I see in dmesg:

s3c2410-wdt s3c2410-wdt: watchdog inactive, reset disabled, irq disabled

while in 3.9 I see:

s3c2410-wdt s3c2410-wdt: tmr_margin value out of range, default 15 used
s3c2410-wdt s3c2410-wdt: failed to install irq (-38)
s3c2410-wdt: probe of s3c2410-wdt failed with error -38

So I guess something is broken in 3.9 kernel's IRQ handling for S3C2416.

Best regards,
José Gonçalves