[seL4] am335x patches