[seL4] Re: Incorrect dtb in the Microkit tutorial