id,summary,reporter,owner,description,type,status,priority,milestone,component,version,severity,resolution,keywords,cc,blockedby,blocking 4395,Workspace initialization is broken for arm/imx7 and arm/raspberrypi,Sebastian Huber,Sebastian Huber,"Cloned from #4394: ---- The ARMV7_CP15_START_WORKSPACE_ENTRY_INDEX has a wrong value. The bug was introduced by the fix for #4185.",defect,closed,normal,6.1,arch/arm,6,normal,fixed,,,,