Add uint32_log2 to ftfp.h to make the linker happy