kernel - Fix (unused) SEGEX_IDX macro