I've no idea if Sony uses Gentoo or not, but you can definitely run Gentoo on AWS