Samsung OSRC kernel update