I opened a thread with this issue, but nobody has answered yet, so sorry for posting here:
How can I go back to stock kernel on my (China version shipped with global rom) mi8 xiaomi.eu without flashing stock rom via fastboot (not sure what version I used before .eu, afraid to brick it with arb...