We have fixed this issue already and I expect Kir will release new kernel soon.
Any ETA on when a kernel with this fix will be released? I've experienced no issues, but as someone with 64-bit 4GB+ RAM and 3Ware 8000 series servers it is a bit stressful to know the possibility is out there.