IPL compatible OS boot selector
