Re: [PATCH] bootwrapper: Fix check for architected timer