Hack around simics failing to get cpu's %ebp sometimes. Fix this properly later