[seL4] loading and booting seL4 on a tegra Tx2