AMD64_SOURCES=amd64\bootini.c  \
              amd64\pcihal.c   \
              amd64\platform.c \
              amd64\syspart.c