Since last update, module compilation was broken. Fix it by adding the old manually copied headers from kernel compilation
