El 80287XL fue realmente un 80387SX con un pinout de 287.