From 25M instructions to one faulty skip: fault analysis of a secure boot