That's right: after pushing F6, replace acpi=off with clocksource=jiffies manually, then tell me if it works.
That's right: after pushing F6, replace acpi=off with clocksource=jiffies manually, then tell me if it works.