Getting a lot of "HAL Kern Error: Read failed from addr x, read y expected z" errors – what to do?

Yes, I'm using my custom BSP. It is completely possible that the error is located there, however some more knowledge of how the runtime works under the hood and which circumstances trigger error prints like that would be very helpful to narrow down the possible sources of the error. For me, powerful debugging tools and detailed in-depth information how everything works and how to create proper custom BSPs and debug them for real world projects that go beyond the scope of those simple example projects that are presented with the SDK are what I miss most with the OpenCL SDK