T428 Linux Kernel config and multiboot init