Currently ProblemList-graal.txt is used to control which tests should be skipped when testing environment enable Graal JIT (-XX:+UseJVMCICompiler).

Unfortunately it does not work when you enable Graal by default in VM. In such cases we can use @requires !vm.graal.enabled

In addition we need separate property for case when JDK has libgraal (AOTed Graal) and it is used by default. The test exclusion could be different from Java Graal case.
 
I am suggesting to add vm.libgraal.enabled property to use in @requires and set it by checking VM flag UseJVMCINativeLibrary.