Removed unneccesary argument
Fixed typecasting or time in kernel_main