There are several vendors of small computers usable as routers/firewalls and who provide complete hardware documentation, including schematics and PCB layout. Some of them also provide an extensive list of accessories, including cases with good passive cooling.

Besides BananaPi, there are e.g. ODROID (Hardkernel from South Korea), FriendlyElec, Radxa.