Does a kernel developer need a hardware to do kernel development?