Re: [PATCH] EDAC/altera: Use fast register IO for S10 IRQs