recpt1 は pt1_dev.h の isdb_t_dev[NUM_ISDB_T_DEV] に定義されている順番に空いているものが使われるんじゃないのかな？
px4video* 定義して recpt1 にデバイス選択まかせておけば未使用の状態から T1 が先にオープンされる可能性は低そうだけど。
Mirakurun も推奨設定？ではないだろうけど --device で指定するのやめて recpt1 にデバイス選択まかせちゃえば。