The datasheet indicates vfpv4 but it stands for vfpv4-d16 not vfpv4-32. Signed-off-by: Ludovic Desroches <ludovic.desroches@atmel.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>