Is the board platform restriction still applicable?

[zapta]

@Obijuan, @cavearr, there are two boards in boards.json that have platform restriction. The platform linux_armv7l doesn't seem to be supported anymore (see https://github.com/FPGAwars/apio/issues/460#issuecomment-2476865815). Can these two boards be removed from boards.json()?

https://github.com/FPGAwars/apio/blob/d2c5bb3daaa40037b6e9b157aebec2862dfebd06/apio/resources/boards.json#L105

  "icoboard": {
    "name": "icoBOARD 1.0",
    "fpga": "iCE40-HX8K-CT256",
    "programmer": {
      "type": "icoprog"
    },
    "platform": "linux_armv7l"     <<-----
  },
  "Cat-board": {
    "name": "CAT Board",
    "fpga": "iCE40-HX8K-CT256",
    "programmer": {
      "type": "litterbox"
    },
    "platform": "linux_armv7l"     <<-----
  },

[cavearr]

@zapta, I think if icoprog or litterbox existed in linux_aarch64 we should update it.

I will look for these tools, I don't know these boards, but I will try to locate them and see if we can compile them or they exist in the arm64 version for Linux.

In any case, since oss-cad-suite does not support this architecture, if programmers did not exist we would have to eliminate them, because they will really be obsolete boards.