A fix for kernel header update procedure.