SHA256_HMAC for deriving session keys using a counter
Sure, that should be fine. It's probably more secure than KDF1 &amp; 2 that use a normal hash method and a 4 byte counter. HKDF however can certainly be used for this, but it seems you only need to differentiate, rather than extract and expand.