Workspace initialization is broken for arm/imx7 and arm/raspberrypi

Original author: sebastian.huber

The ARMV7_CP15_START_WORKSPACE_ENTRY_INDEX has a wrong value. The bug was introduced by the fix for #4185 (closed).