Re: booting custom kernel