Kernel update and hardware random numbers