Function field_from_words_kernel 

pub fn field_from_words_kernel(words: [b64; 4]) -> FieldElement51

Decode four little-endian words into radix-2^51 limbs.

Bit 255 is ignored so this function can directly consume compressed Edwards-Y encodings after the caller records the sign bit.