FL-566: debian kernel update, masked for testing