Linux kernel now recommends politically correct terms