In fairness, AWS could (and almost certainly is) using their own kernel build that does who-knows-what