Hi Michael, Thanks for your support: have everything working again now and (perhaps even more important) learned a lot about this type of stuff. >> 2. Do I have to re-do this now to get my machine back to normal, >> succesfull linux boot? > > Yes. > -- Kind regards, Hans Troost
