triumph: add in prebuilt kernels