feat: add {debian13,ubuntu24.04,ubuntu25.04}-armhf platform configs
#335
| Job | Run time |
|---|---|
| 1m 11s | |
| 19s | |
| 1m 4s | |
| 1m 55s | |
| 15m 39s | |
| 30m 24s | |
| 1m 52s | |
| 15m 19s | |
| 30m 37s | |
| 2m 17s | |
| 31m 7s | |
| 2s | |
| 2h 11m 46s |