Add linux-devtools to ports, with the expectation it will make building the OFED packages easier