ไม่แน่ใจว่า จะใช้ userland ที่เป็น ARMv7 จาก http://gentoo.osuosl.org/releases/arm/autobuilds/current-stage3-armv7a_hardfp/ ทำเป็น Gentoo Linux แบบสร้างแผ่น SD card เอง จะได้ผลไหม
โดยใน /boot และ modules (copy ใส่ /lib) ก็มี update เมื่อไม่นานนี้เองครับ https://github.com/raspberrypi/firmware/commit/daf5fb3fa196eef6327697ee4994ad8e0cc2679f