Bugfix: different definitions of dev_t in lyos/type.h and sys/types.h