Partial switch to frame database

Introduced frame database and matched calls to set_page_table_entry with
updates in the frame database.  FIFO and 2FIFO implementations have not
yet been updated.