Update Bookmarks

Add the dedicated devices github to bookmarks so users can find the latest device commits easily again