New boot firmware a step toward 64-bit Windows RT