Adds some platform checks to cmake/config-ix.cmake and fixes checking