I think Navcore 9.510 for 64bit devices wil be a good option
But your HDD is only 2.5gb only good for some small maps.
There must be a solution to replace your HDD with an SD slot or a Compact Flash card, search the Internet
Probably a Bootloader update is also necessary