update std/oc kernel+modules (gcc4.7)