Get rid of DeviceOSLibrary

It is used only by the EPOS and does not do much.