You should be able to print out the BIOS pages by simply displaying them and pressing the 'Print Screen' key.
On my ancient HP DeskJet 540, the pages are printed to printer buffer and I have to press the page-feed button on the 540 to complete the print.
Hope this helps!