support_compatible: Checks compatibility between supports.
Description
The supplied support must never be larger than the support of
the parametric start / kernel.
Usage
support_compatible(kernel, start, support)
Arguments
- kernel, start, support
The kernel, start and support to check.