[OpenBIOS] EFI noise on slashdot