Fix devices object, kernel now runs. EXT implementation not finished.