Use bcm2835-specific system/core.