Use C linkage in boot.h