Simple UEFI boot loader with support for safely switching between current and updated partition sets - View it on GitHub