Baremetal fixes for hLinux