I took the bytes of the 128-bit entropy and converted it to hex. Then I put the 128-bit hex through SHA256, which is supposed to return 128 bits. The four bits at the lower end of the SHA256 hash are 0x7, or 0111.