chore(kernel): remove dead code, we don't have level constraints anymore

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(kernel): remove dead code, we don't have level constraints anymore