Function secret_padding_block_kernel 

pub fn secret_padding_block_kernel(_dummy: b1) -> ShaBlock

Build the fixed second padding block for every 64-byte secret preimage.

The dummy bit is intentional: a zero-width RHDL kernel input is not representable, while the output is independent of its value.