A Gentoo remix for the Raspberry Pi