1957a1b17SIngo Weinhold /* 2*7afa713aSIngo Weinhold Just a dummy. No BIOS services are required in the kernel. 3957a1b17SIngo Weinhold */ 4