Function replace_low_word_kernel 

pub fn replace_low_word_kernel(previous: b64, value: b32, strobes: b4) -> b64

Replace a byte-strobed low half of a 64-bit register.