Build fix for non-PCE cores