I think there is a mistake in your release notes:
http://genode.org/documentation/release-notes/13.05

root /tftpboot/nova
config config-00-00-00-00-00-00

Should be...

root /nova
config config-00-00-00-00-00-00


Unless you have a weird setup with the tftpboot dir as root.

Daniel