devtools: fix alignment of Marvell build options