Descobriu o problema.
Eu estava usando make headers_install ARCH=arm HDR_INSTALL_PATH=${TOOLCHAIN_SYSROOT}/usr
para atualizar os cabeçalhos de toochain. No entanto, isso copia alguns (não todos) cabeçalhos de ${KERNEL_PATH}/include/linux
para ${TOOLCHAIN_SYSROOT}/usr
'sanitizing' quaisquer cabeçalhos além daqueles copiados, excluindo, assim, stdio.h, math.he outros cabeçalhos "sem importância".