John> Hi, I have heard rumors that the CONFIG_IA64_MCA option may be
John> phased out. If this is true, this email is an attempt to lobby
John> AGAINST such a move.  I work with a team that explicitly
John> disables the CONFIG_IA64_MCA so that the kernel will NOT
John> handle MCAs. If kernel handling of MCAs is made automatic,
John> then that would interfere with our use of the
John> kernel. Hopefully, this rumor is false.

Too bad you didn't send this message to the linux-ia64 list at the time I 
posted the patch.  Oh well.  Here's the original patch that you can revert 
with 'patch -R'.  I'll put something better together shortly.

Jesse