I would expect this to be a kernel specific bug. I'm on a company laptop with falcon, and we have linux systems using the same, no signs of problems so far.