[PATCH] arm: Remove nokia_rx51 board