adding patched os_intfs.c for linux kernel 3.10+