This is needed for PAE support (even though we don't need PAE support specifically, it does come with other CPU functionality that seems useful).