start: load kernel