GPIKV007 passes, but the model extraction fails

[sid-agrawal]

Commit: 3de0c12

cd build-dir
cmake  . -DLibSel4TestPrinterRegex=GPIKV007 -DGPIExtractModel=ON
ninja
simulate

The test GPIKV007 passes, but the model extraction fails with the following error:

---- SQLite tests pass ----
hello-kvstore: Exiting, notifying parent of test result: 0
---- SQLite tests pass ----
hello-kvstore: Exiting, notifying parent of test result: 0
xv6fs_work_handler@fs_server.c:866 xv6fs Server: xv6fs_work_handler: Failed to get blocknos for file, -1.