paste kernel binary