chapter06/kernfs.xml complete. r9476 -> r9870