__KrnBugBoot() is not needed, once again :)