Avoid hardcoding kernel 3.8 version, allow Ubuntu updates to work