Use IOCTL for board_read_VBUS_state in NuttX protected builds

Direct gpio read is not possible from user side applications, so use boardctl
interface instead.

Signed-off-by: Jukka Laitinen <jukkax@ssrc.tii.ae>

boards/px4/fmu-v5/src/stm32_userspace.c

@@ -143,5 +143,4 @@ int CONFIG_USER_ENTRYPOINT(int argc, char *argv[])
 	return nsh_main(argc, argv);
 }
 
-
 #endif /* !CONFIG_BUILD_FLAT && !__KERNEL__ */