Si la particion de restauracion esta en el disco duro seguro. Prueba pulsando F10 o F11 durante el arranque, son las mas comunes en los Compaq. Sin usar Control, el unico ordenador que recuerde ahora mismo que se restaura con Control+F10 son los Acer Aspire One, pueda que tu amigo tenga uno y por eso le suene.
Ademas en la BIOS tiene que venir una opcion que pone algo de Recovery, tiene que estar en Enabled. Por defecto lo esta, asi que si no has cambiado nada en la BIOS no deberias tener problema.