I am looking for an ARM development board which supports mainline Linux kernel. I started out by looking at Raspberry Pi (3) and noticed that it requires the patched R-Pi kernel version to support Broadcom 2837 SoC. Are there any boards, including old ones, that are fully compatible with the mainlin...