You really need to deal with the coreboot / firmware issue.