Translation Validation For Verified, Efficient And Timely Operating Systems