port: from ville to valentewx

Change-Id: I23d595616a13e8a46341cf00568ec11f6332a8c0
add: another hboot version