Workaround for outdated kernel tree
Workaround for outdated kernel tree