So what other board can I buy today, put in a drawer for 5 years, maybe 10, take it out then and still find a modern linux distro with a modern kernel for it? RPi 1 still has debian stable support.