[coreboot] Need confirmation if HP nx6310 will work with coreboot