--- wikisrc/users/jakllsch.mdwn	2011/07/30 15:09:56	1.5
+++ wikisrc/users/jakllsch.mdwn	2014/04/12 02:28:11	1.6
@@ -26,9 +26,7 @@ This uses [[!template id=man name="gdb" 
 ## Unfinished Projects
 
 ### x86 UEFI kernel loader
-Building this for x64 UEFI requires the `ms_abi` function attribute introduced in GCC 4.4 or so.
-This project uses Intel UEFI headers and some existing FreeBSD work.
-Needs more work and cleanup, also toolchain updates.
+Needs more work and cleanup.
 Work has been done using the OVMF BIOS images for Qemu.
 
 ### bcm47xx for evbmips