ppc32: add support for larger (non-barebone) images