Export more scary symbols in the 3.10 kernel patch