Older kernel shipped as F7 kernel update?