Thanks Rick, I was hoping to find a pre-compiled copy of Advmenu online when I wrote this but it was a no go.
Have you had any luck following these instructions? I may have a attempt at it this weekend and if successful post the package on Github or somewhere.
http://www.raspberrypi.org/phpBB3/viewtopic.php?f=78&t=22403
http://www.raspberrypi.org/phpBB3/viewtopic.php?f=78&t=23431&p=218746&hilit=advmenu#p218746