Starting Linux Kernel Series with this very basic question - EdgeBench