[PATCH 05/16] arm: Remove ts4800 board