devfs: design and implementation

we need a unique API to access all devices in g-bios, so comes the file system called "devfs"!
devfs for g-bios is NOT the old devfs in Linux kernel. It's more like the combination of current devtmpfs and sysfs.