exec.c: Fix logging in cpu_abort().

Change-Id: Ibb255a76b6074951f2d17e772211a00ba6724440
1 file changed