base-files: armsr: number Ten64 GPIOs according to kernel version