Move math.h to firmware/libc/include/ and fix slight incompatibilities between our...