Linux kernel developers discuss deleting old CPU platforms