Add interface to OkraContext to create a kernel from Brig