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