Add initial files from linux-3.9.4 kernel source