[seL4] Reverse back to Original TK1-SOM U-boot