Add support for booting of INTEGRITY operating system uImages