Rename TARGET_BOARD_PLATFORM to rk3188