[PATCH 4/5] arm: Remove devkit3250 board