add diskBuffer to kernel
use kernel diskBuffer in ReadFile and clarify userReadWrite's interface