AMD64_SOURCES=..\bootini.c