Do we boot at 1.35Ghz?