Rename Kernel to Void Kernel

Signed-off-by: Javelin <javelinanddart@gmail.com>