@Petr: Your problem seems to be the same as bug 605837
As a workaround adding the nopat option to your kernel boot command line should help. Please give it a try.
@Petr:
Your problem seems to be the same as bug 605837
As a workaround adding the nopat option to your kernel boot command line should help. Please give it a try.