Lava rock is good stuff!
I have heard of using rock to "build up" the bottom of an aquarium, but I am thinking it's a lot of weight. Serpa Design suggested using the plastic grid thing (picture from Google search below) to help distribute the weight of large pieces of hardscape.
on burying lava rock
However, I was thinking, if the rock is just going to be buried by gravel, why not just use that expanding aquarium foam and cut it down? Cory had mentioned in one of his videos, please do correct me if I misremember, that the beneficial bacteria only live a few inches down from the surface, so if you have a ramp that is far higher than that, the extra surface area from the buried lava rock might not be as effective.