Not banned, you just have to go through some hoops to enable installation of third party kernel extensions