it now needs <stdbool.h> due to the arm ports. Longer-term, this program probably ought to be converted so that it no longer needs to define _KERNEL.