Update boards.txt

Commented `maximum_ram_size` as the CC3200 features 256 kB of RAM for code and variables.