Fix hard-coded Mac kernel version