Remove kernel and proprietary