[coreboot] Any changes to coreboot for low latency kernel