Add extern C to booting-internal.h