MIPS: TXx9: Add RBTX4939 board support