[coreboot] coreboot on dell mini 9