This patch makes the operaFS source compatible with linux source 4.9.0