software/include: add stdbool.h