semaphore kernel with kexec-hardboot patch by cemo