-
Vladimir Serbinenko authored
kernel_type may be set to the type of failed kernel. This patching-up is easier than to reflow kernel loading routines.
2ebef43c
kernel_type may be set to the type of failed kernel. This patching-up is easier than to reflow kernel loading routines.