Update nanvix dependency to use upstream hyperlight with required features

[danbugs]

Current nanvix dependency uses a fork of hyperlight. Need to update to use upstream hyperlight main branch and implement missing features: credits support for resource management, PIC/PIT support for interrupt and timer handling, and extra guest blob loading.