Function sha512_schedule_kernel 

pub fn sha512_schedule_kernel(
    w0: Bits<64>,
    w1: Bits<64>,
    w9: Bits<64>,
    w14: Bits<64>,
) -> Bits<64>

Compute one expanded schedule word from the 16-word circular window.