Re: kernel doesn't start on Odroid U2 unless setting initrd_high