Re: [coreboot] [PATCH] The function int15 running on the Technexion's tim5690.