[U-Boot] Where is the edge between a loader and (microkernel) OS?