vmpk: Version bump to 0.5.1.