various updates to BIOS RAM include file