made the kernel compile with -D_REENTRANT=1