Koji ppc64 builder - amount of RAM?