Non-integrability and the KAM theorem