I am writing a kernel driver which needs to restart the kernel after successful firmware update. I am using following API:
kernel_restart("Firmware updated s