Switch to prebuilt Trinity kernel