Red Hat losing another longtime and prominent Linux kernel engineer