c1d86f7c35
SEM* and SHM*. These are already supported in the options files. I mostly used the default value plus 1. This ensures that the LINT kernel depends on the options headers.