This is a 2.5 version of the patch that I juggled around a couple of
weeks ago.  It's just a simple macro that allows one to check if the
kernel is running on a specific ia64 platform.