osfmk/src/bootstrap/HP700
