# Install and configure the boot-loader, /etc/fstab, and so on
/usr/sbin/setup-ivi-boot