This fixes linker issues on the powerpc/virtex4 and powerpc/virtex5 BSPs.
This makes it possible to write tests for the generic interrupt controller support. Update #3269.