This is a temporary location for source/Makefiles that need to be
patched/reworked in drivers/xen to work with xenlinux/ia64.