core.c: Fix build

Change-Id: Ida094e87cdaa211b8b1edd17111455b68a6af24f