Refactor Kelvin isa file Split the kelvin.isa file into groups based on func1 encoding to improve the readability PiperOrigin-RevId: 553513487