I think a surprising number of kernel engineers like Macs