// automatically generated by stateify. // +build amd64 package boot