The documentation is correct, innodb_buffer_pool_restore_at_startup is the 5.5 name for innodb_auto_lru_dump, and the renaming happened in 5.5.10-20.1.
The variable (innodb_buffer_pool_restore_at_startup in 5.5 or innodb_auto_lru_dump in 5.1) controls both automatic buffer pool dumps and automatic restore on startup. This behavior was a deliberate decision and is described in the manual as well.
The documentation is correct, innodb_ buffer_ pool_restore_ at_startup is the 5.5 name for innodb_ auto_lru_ dump, and the renaming happened in 5.5.10-20.1.
The variable (innodb_ buffer_ pool_restore_ at_startup in 5.5 or innodb_ auto_lru_ dump in 5.1) controls both automatic buffer pool dumps and automatic restore on startup. This behavior was a deliberate decision and is described in the manual as well.