Added stock v20b kernel source